"Marko van Eekelen" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Interactive Theorem Proving - ITP 2011

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

3.65 Mb

#2

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... Programming and Software Engineering)

Marko van Eekelen, Olha Shkaravska

2.76 Mb